Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
341	Scope and the Grammar of Choice Adrian Brasoveanu, Donka F. Farkas UC Santa Cruz 1 Add to Reading List Source URL: people.ucsc.edu Language: English - Date: 2015-01-24 16:05:41 Predicate logic Model theory Quantification First-order logic Interpretation Independence-friendly logic Discourse representation theory Skolem normal form Well-formed formula Logic Mathematical logic Semantics
342	Property Persistence in the Situation Calculus 1, Ryan F. Kelly, Adrian R. Pearce ∗ Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2010-05-10 17:55:34 Model theory Logic programming Predicate logic Situation calculus Structure Mereology Mathematical logic Logic Mathematics
343	Asynchronous Knowledge with Hidden Actions in the Situation Calculus Ryan F. Kelly, Adrian R. Pearce1,∗ Department of Computing and Information Systems The University of Melbourne Victoria, 3010, Australia Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2015-01-05 02:35:40 Logic programming Knowledge representation Predicate logic Logic in computer science Situation calculus Model theory Frame problem Fluent Function Mathematical logic Logic Mathematics
344	No Ifs, Ands, or Buts Uncovering the Simplicity of Conditionals Jonathan Edwards MIT Computer Science and Artificial Intelligence Lab Add to Reading List Source URL: www.subtext-lang.org Language: English - Date: 2013-09-04 17:58:58 SQL keywords Predicate logic Programming paradigms Propositional calculus SQL Predicate First-order logic Extensible Storage Engine Where Logic Computing Mathematical logic
345	AAAI Proceedings Template Add to Reading List Source URL: www.qrg.northwestern.edu Language: English - Date: 2013-10-16 14:55:59 Reasoning Mathematical logic Programming paradigms Problem solving Predicate logic Cyc Logic programming Knowledge representation and reasoning Inference Logic Science Mathematics
346	An Ordered Theory Resolution Calculus Peter Baumgartner Presenter: Xing Tan with contributions by Scott Sanner Department of Mechanical and Industrial Engineering Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-04-12 01:59:47 Mathematics Predicate logic Literal Propositional calculus Predicate variable Unification Resolution Calculus Universal quantification Logic Automated theorem proving Mathematical logic
347	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Proof theory Predicate logic Type theory First-order logic Sequent Isabelle Higher-order logic Logical framework Logic Mathematical logic Mathematics
348	The Arbitrariness of Variable Names Are the following two programs equavalent? (define (f x) (+ x 1)) (fdefine (f y) (+ y 1)) Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Lambda calculus Variables Predicate logic Data types Free variables and bound variables Function Combinatory logic Mathematics Software engineering Elementary mathematics
349	Extracted from: Good Math A Geek’s Guide to the Beauty of Numbers, Logic, and Computation Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-08-07 09:11:47 Predicate logic Set theory Model theory Semantics Predicate First-order logic S Naive set theory Infinity Mathematical logic Logic Mathematics
350	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song Carnegie Mell Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2009-08-03 23:33:32 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics

UPDATE